Search results for "Dense set"
showing 9 items of 9 documents
On norm attaining polynomials
2003
We show that for every Banach space X the set of 2-homogeneous continuous polynomials whose canonical extension to X∗∗ attain their norm is a dense subset of the space of all 2-homogeneous continuous polynomials P(2X).
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY
1995
The minimal Gödel class is the class of first-order prenex sentences whose quantifier prefix consists of two universal quantifiers followed by just one existential quantifier. We prove that asymptotic probabilities of existential second-order sentences, whose first-order part is in the minimal Gödel class, form a dense subset of the unit interval.
Topological direct sum decompositions of banach spaces
1990
LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T −1(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX 1 andX 2 such thatX 1 is reflexive and densX 2**=densX**/X.
Noncoincidence of Approximate and Limiting Subdifferentials of Integral Functionals
2011
For a locally Lipschitz integral functional $I_f$ on $L^1(T,\mathbf{R}^n)$ associated with a measurable integrand f, the limiting subdifferential and the approximate subdifferential never coincide at a point $x_0$ where $f(t,\cdot)$ is not subdifferentially regular at $x_0(t)$ for a.e. $t\in T$. The coincidence of both subdifferentials occurs on a dense set of $L^1(T,\mathbf{R}^n)$ if and only if $f(t,\cdot)$ is convex for a.e. $t\in T$. Our results allow us to characterize Aubin's Lipschitz-like property as well as the convexity of multivalued mappings between $L^1$-spaces. New necessary optimality conditions for some Bolza problems are also obtained.
A criterion for zero averages and full support of ergodic measures
2018
International audience; Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $\phi\colon X \to \mathbb{R}$. We provide an abstract criterion, called control at any scale with a long sparse tail for a point $x\in X$ and the map $\phi$, which guarantees that any weak* limit measure $\mu$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}\delta(f^i(x))$ s such that $\mu$-almost every point $y$ has a dense orbit in $X$ and the Birkhoff average of $\phi$ along the orbit of $y$ is zero.As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a $C^1$-open and dense subset of the s…
Integrability via Reversibility
2017
Abstract A class of left-invariant second order reversible systems with functional parameter is introduced which exhibits the phenomenon of robust integrability: an open and dense subset of the phase space is filled with invariant tori carrying quasi-periodic motions, and this behavior persists under perturbations within the class. Real-analytic volume preserving systems are found in this class which have positive Lyapunov exponents on an open subset, and the complement filled with invariant tori.
Generic properties of singular trajectories
1997
Abstract Let M be a σ-compact C∞ manifold of dimension d ≥ 3. Consider on M a single-input control system : x (t) = F 0 (x(t)) + u(t) F 1 (x(t)) , where F0, F1 are C∞ vector fields on M and the set of admissible controls U is the set of bounded measurable mappings u : [0Tu]↦ R , Tu > 0. A singular trajectory is an output corresponding to a control such that the differential of the input-output mapping is not of maximal rank. In this article we show that for an open dense subset of the set of pairs of vector fields (F0, F1), endowed with the C∞-Whitney topology, all the singular trajectories are with minimal order and the corank of the singularity is one.
On Słowikowski, Raíkov and De Wilde Closed Graph Theorems
1986
Publisher Summary This chapter focuses on the Slowikowski, Raikov and De Wilde closed graph theorems. The vector spaces used in the chapter, are defined over the field Ղ of real or complex numbers. The term, “space” means separated topological vector space, unless the contrary is specifically stated. If Ω is a non-empty open subset of the n -dimensional euclidean space, then the Schwartz space ҟ′(Ω) endowed with the strong topology belongs to this class. The chapter also studies the classes of spaces related with this conjecture. The class of Slowikowski spaces contains the F-spaces and it is stable with respect to the operations that include: countable topological direct sums, closed subsp…
Robust existence of nonhyperbolic ergodic measures with positive entropy and full support
2021
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic measures which are ergodic, fully supported and have positive entropy. To do so, we formulate abstract conditions sufficient for the construction of an ergodic, fully supported measure $\mu$ which has positive entropy and is such that for a continuous function $\phi\colon X\to\mathbb{R}$ the integral $\int\phi\,d\mu$ vanishes. The criterion is an extended version of the control at any scale with a long and sparse tail technique coming from the previous w…